<HTML><HEAD><TITLE>?Vars $:: ++Domain</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>?Vars $:: ++Domain</H1>
Constrain Vars to have the domain Domain.
<DL>
<DT><EM>Vars</EM></DT>
<DD>Variable or collection (a la collection_to_list/2) of variables
</DD>
<DT><EM>Domain</EM></DT>
<DD>Domain specification
</DD>
</DL>
<H2>Description</H2>
<P>
   Like ::/2, but does not perform any type analysis on the domain and does
   not enforce integrality on the variables even if the domain specified has
   integer bounds.  Domain must be a contiguous interval.

<H2>See Also</H2>
<A HREF="../../lib/ic/NN-2.html">:: / 2</A>, <A HREF="../../lib/ic/HNN-2.html">#:: / 2</A>
</BODY></HTML>
